- язык логического программирования
- rule-oriented language
Русско-английский словарь по радиоэлектронике. — Руссо. 2005.
язык логического программирования
Look at other dictionaries:
Язык логического программирования — Логическое программирование парадигма программирования, основанная на автоматическом доказательстве теорем, а также раздел дискретной математики, изучающий принципы логического вывода информации на основе заданных фактов и правил вывода.… … Википедия
Язык программирования Пролог — язык логического программирования, программа на котором состоит: из логических утверждений, образующих базу данных; и из правила вывода новых утверждений из известных. По английски: PROLOG language См. также: Декларативные языки программирования… … Финансовый словарь
язык SFC — Язык последовательных функциональных схем. Один из пяти стандартизированных языков программирования ПЛК. [http://kazanets.narod.ru/PLC PART2.htm] Язык последовательных функциональных схем SFC (Sequential Function Chart), использующийся совместно… … Справочник технического переводчика
Пролог (язык программирования) — У этого термина существуют и другие значения, см. Пролог. Пролог Семантика: логическое программирование Появился в: 1972 Автор(ы): Alain Colmerauer Расширение файлов: .pl .pro .P … Википедия
Mercury (язык программирования) — У этого термина существуют и другие значения, см. Mercury. Mercury Класс языка: логический, функциональный Появился в: 1995 Автор(ы) … Википедия
Oz (язык программирования) — Oz Семантика: функциональный, процедурный, декларативный, объектно ориентированный, вычисления с ограничениями, Н модели, параллельные вычисления Тип исполнения: компилируемый Появился в: 1991 Автор(ы): Gert Smolka his students Релиз … Википедия
Сравнение языков программирования — Эту статью следует викифицировать. Пожалуйста, оформите её согласно правилам оформления статей. Условные обозначения … Википедия
Логический язык программирования — Логическое программирование парадигма программирования, основанная на автоматическом доказательстве теорем, а также раздел дискретной математики, изучающий принципы логического вывода информации на основе заданных фактов и правил вывода.… … Википедия
Декларативный язык программирования — Эту статью следует викифицировать. Пожалуйста, оформите её согласно правилам оформления статей. Декларативные языки программирования это языки программирования высокого уровня, в которых программистом не зад … Википедия
Icon (язык программирования) — У этого термина существуют и другие значения, см. Icon (значения). Icon Семантика: мультипарадигменный: императивный, логический … Википедия
Go! (язык программирования) — Статью, посвященную языку программирования, созданного компанией Google Inc. см. Go (язык программирования) Go! Класс языка: многопоточный Появился в: 2003 г. Автор(ы): Фрэнсис МакКейб, Кейт Кларк Лицензия GPLv2 … Википедия
